$A$ List($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:($A$ List)$\mid$ $\parallel$$x$$\parallel$ $=$ $n$ $\in$ $\mathbb{Z}$ \}